COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	DECLARE INDVAR s2 s1 s0 s ε Situation, u z y x ε Object
C00003 ENDMK
C⊗;
DECLARE INDVAR s2 s1 s0 s ε Situation, u z y x ε Object;

DECLARE INDCONST S3 S2 S1 S ε Situation, C B A Table ε Object;

DECLARE PREDCONST clear(Object,Situation);

DECLARE OPCONST move(Object,Object,Situation) = Situation
support(Object,Situation) = Situation;